منابع مشابه
Response to Amir Attaran
John W. McArthur, Jeffrey D. Sachs, Guido SchmidtTraub Amir Attaran’s Policy Forum [1] raises important points on the poor quality of data for some indicators used to measure progress on the Millennium Development Goals (MDGs), but, sadly, uses these fi ndings to draw the wrong conclusions. The evidence he presents on a small number of indicators is partial, and does not justify his conclusion ...
متن کاملAmir Landesberg and Samuel Sideman
[PDF] [Full Text] [Abstract] , January 1, 2004; 286 (1): H434-H441. Am J Physiol Heart Circ Physiol C. Levy and A. Landesberg tetanized rat trabeculae Hystereses in the force-length relation and regulation of cross-bridge recruitment in [PDF] [Full Text] [Abstract] , January 1, 2005; 288 (1): H389-H399. Am J Physiol Heart Circ Physiol Y. Yaniv, R. Sivan and A. Landesberg Analysis of hystere...
متن کاملZohar Manna and Amir Pnueli
The paper presents a, relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves on previous temporal systems, such as [MPS3a] and [MP83b]? in that it reduces the validity of progra,m properties into pure assertional reasoning, not involving additional tempora,l rea.soning. The proof system is based on the classific...
متن کاملIn Memoriam: Robin Milner and Amir Pnueli
IN the last six months, the computing community, including software engineering, lost two of its greats: Robin Milner and Amir Pnueli. Both were Turing Award winners, and both contributed in fundamental ways to the foundations of software engineering. I had the privilege of meeting Robin Milner only, and my overriding memory is of a modest, gentle, approachable man, as open to other’s ideas as ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
مطالعات ملی کتابداری و سازماندهی اطلاعاتجلد ۸، شماره شماره ۱ و ۲، صفحات ۲۹-۴۸
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023